AALpy: an active automata learning library

Abstract AALpy is an extensible open-source Python library providing efficient implementations of active automata learning algorithms for deterministic, non-deterministic, and stochastic systems. We put a special focus on the conformance testing aspect in learning, as well intuitive seamlessly integrated interface characterizing real-world reactive In this article, we present ’s core functionalities, illustrate its usage via examples, evaluate performance. Finally, selected case studies models various types systems with .